Boolean sets, skew Boolean algebras and a non-commutative Stone duality

Stone Duality for Skew Boolean Algebras with Intersections

We extend Stone duality between generalized Boolean algebras and Boolean spaces, which are the zero-dimensional locally-compact Hausdorff spaces, to a non-commutative setting. We first show that the category of right-handed skew Boolean algebras with intersections is dual to the category of surjective étale maps between Boolean spaces. We then extend the duality to skew Boolean algebras with in...

Free skew Boolean algebras

Stone duality for nominal Boolean algebras with ‘new’: topologising Banonas

We define Boolean algebras over nominal sets with a functionsymbol Nmirroring the N‘fresh name’ quantifier. We also define dual notions of nominal topology and Stone space, prove a representation theorem over fields of nominal sets, and extend this to a Stone duality.

Boolean algebras, Stone spaces and TGD

The Facebook discussion with Stephen King about Stone spaces led to a highly interesting development of ideas concerning Boolean, algebras, Stone spaces, and p-adic physics. I have discussed these ideas already earlier but the improved understanding of the notion of Stone space helped to make the ideas more concrete. The basic ideas are briefly summarized. p-adic integers/numbers correspond to ...

Irredundant Sets in Boolean Algebras

It is shown that every uncountable Boolean algebra A contains an uncountable subset / such that no a of / is in the subalgebra generated by I\{a} using an additional axiom of set theory. It is also shown that a use of some such axiom is necessary. A subset / of a Boolean algebra A is irredundant if no proper subset of / generates the same subalgebra as /, or equivalently, if no a of / is in the...